The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving. 几何定理证明的前推法能够产生传统形式的可读证明,在定理机器证明领域占有重要的地位。
Forward reasoning starts from the intention of the cooperating agent, which is used to create the initialized plan hypotheses; 规划识别过程是一个双向的推理过程,正向推理从主体的意图出发,给出初始规划假设的集合;
At last, an intelligent shape matching algorithm based on forward reasoning is presented. 提出一个基于正向推理的图形匹配识别算法。
The BP neural networks model used in fault diagnosis is constructed, and the process of forward reasoning is given. 建立了用于故障诊断的BP神经网络模型,并给出了故障诊断的正向推理过程。
Because of the limitation of the traditional forward reasoning method for fault diagnosis, a forward reasoning method for fault diagnosis based on BP neural networks is studied in this paper. 针对传统的故障诊断正向推理方法的局限性,对基于BP模型的神经网络故障诊断正向推理方法进行了研究。
Information Entropy Based System's Diagnostic Parameter Choosing Method with Backward and Forward Reasoning 基于信息熵的系统诊断参数交互推理选择方法
The geometry information search system by forward reasoning 基于前推法的几何信息搜索系统
A forward reasoning expert system using the artificial intelligence is proposed to solve the evolutionary problem. 本文应用人工智能技术,设计了一个正向推理的专家系统解决初始网络中的换热不均问题。
To implement the check-up of the operations, production system is used to define the experimental rules, and forward reasoning strategy is used for rule match. 为了实现实验操作的正确性检查,采用产生式系统定义实验规则,使用正向推理策略进行规则匹配。
Implementation of the Forward Reasoning Machine in Expert System 专家系统中正向推理机的一种实现方法
The inference engine adopts a tactical thinking based on deductive inference, definite reasoning and forward reasoning, they improve the efficiency of reasoning, and preferably achieve the effect of reasoning. 该推理机采用了演绎推理、确定性推理和前向推理相结合的推理策略,提高了推理机的效率,获得了较好的推理效果。
Forward Reasoning Method for Fault Diagnosis Based on BP Neural Networks 基于BP网络的故障诊断正向推理方法
On Efficient Implementation of a Rule-Based Forward Reasoning System 基于规则的向前推理系统的有效实现
Automatic reasoning system of plane analytic geometry based on forward reasoning 基于前向推理的平面解析几何自动推理系统研究与实现
Forward Reasoning Process Analysis And UML Modeling 正向推理过程分析及UML建模
An efficient method the Rete for implementing a forward reasoning system is proposed. It is an extension of and improvement on the famous multi-pattern multi-objective match algorithm, the Rete. 本文提出一种实现向前推理系统的有效算法Rete,作为著名算法Rete的改进和推广,Rete的核心内容包括:a。
Petri network reasoning method combine trouble tree forward reasoning reverse algorithm of reasoning mainly, The concrete instance of connection is analysed and compares; Petri网推理方法主要结合故障树正向推理反向推理的算法,联系具体实例进行分析和比较;
In respect of reasoning mechanism, forward reasoning, fuzzy judgement, fuzzy pattern recognition and fuzzy decision-making are adopted. 推理机制采用正向推理、模糊评判、模糊模式识别和模糊决策。
A diagnosis system of TV breakdown is established by a forward reasoning method based on knowledge. An uncertain reasoning model in MYCIN system is used to solve the CF value of the conclusion. 采用基于知识的正向推理方法,建立了电视机故障诊断系统,其中运用了MYCIN的不精确推理模型求解结论的可信度值。
The validity and feasibility of the forward reasoning method for fault diagnosis based on BP neural networks are verified by the example of the faults in the ignition system of automobile engine. 利用汽车发动机点火系统的故障实例验证了基于BP模型的神经网络故障诊断正向推理方法的有效性和可行性。
Then, raised the evidential network modeling means, which as directed graph to topology structure, as conditional belief function to parameter model, analysised the forward reasoning and backward reasoning algorithm deeply. 然后,提出了以有向图为拓扑结构、以条件信任函数为参数模型的证据网络建模方法,深入分析了前向推理和后向推理算法。
With the realization of Jess Reasoning Rules and the research on Rete Match algorithm, we have built the reasoning model of Space Debris Mitigation design by forward reasoning method based on the Knowledge representation of Space Debris Mitigation Design. 4. 通过对Jess推理规则的实现以及Rete匹配算法的研究,采用正向推理策略实现了基于空间碎片减缓设计的知识表示的推理。4.建立了一个初步的空间碎片减缓设计专家系统。
As for complex faults, the Petri net forward reasoning model is designed to determine the fault components. 对于复杂故障,设计了应用元件Petri网故障诊断模型正向推理来确定故障元件方法。
In order to improve efficiency and avoid examinational blindness, single feature adopt forward reasoning, whereas feature combination adopt backward reasoning. 为了提高推理效率,避免特征组合审查时选择特征的盲目性,本文在推理方向上对单特征和特征组合的审查分别采用正向和逆向的策略。
The expert system includes knowledge base which is based on database technology and forward reasoning machine. 专家系统由基于数据库技术的知识库和正向推理机组成。
The thesis designs an inference engine with forward reasoning as its inference direction and depth-first search as its search strategy. 论文设计了以正向推理为推理方向,深度优先搜索为搜索策略的推理机。
Through the study of expert system reasoning machine, forward reasoning mechanism were determined. 在对专家系统推理机研究的基础上,确定了正向推理机制,并设计了基于专家系统的推理机的正向推理方式和推理步骤。
It established the forward reasoning mechanism based on the generative rules and the hypothetical reasoning, which helped to structure the reasoning framework of the policy consultation expert system. 论文从领域知识和用户行为的角度详细分析了劳动政策咨询服务的需求和特点,确立了由产生式规则和基于假言推理的正向推理机制,构成政策咨询专家系统的咨询推理框架。
Inference engine is based on relational database and forward reasoning. 推理机采用基于关系型数据库的下向推理。
Using the production representation method, the knowledge base including rule and case was established. With the adoption of forward reasoning method for the inference mechanism, a comprehensive database supporting the entire program planning system was established. 采用产生式表示法,建立了包括实例库和规则库的知识库,采用正向推理的基本思想实现了系统的推理机制,建立了支持整个方案规划系统的综合数据库。